ScienceDirect® Home Skip Main Navigation Links
  
 
Home
Browse
Search
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)     Clear all fields          Advanced Search
6,222 articles found for: pub-date > 1980 and pub-date < 1991 and mathematics
previous page < results 1 - 100 > 
Edit Search |Save Search | Save as Search Alert |Set up a search RSS feed (Opens new window) RSS Feed
 
  = Full-text available    = Abstract only   
Font Size: Decrease Font Size  Increase Font Size
Search Within Results:
Refine Results  
 
            Open All Previews Sort by: Relevance - selected | Date
1. You are not entitled to access the full text of this document
Problematic Principles in Constructive Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 108, 1982, Pages 11-55
Michael J. Beeson
2. You are not entitled to access the full text of this document
Logic and Conceptual Relationships in Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 122, 1987, Pages 193-211
Kenneth L. Manders
3. You are not entitled to access the full text of this document
The Introduction of Non-Recursive Methods into Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 319-335
George Metakides, Anil Nerode
4. You are not entitled to access the full text of this document
Type Theory and Explicit Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 117-135
Gerhard Jäger
5. You are not entitled to access the full text of this document
The Use of Ordinals in the Constructive Foundations of Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 114, 1986, Pages 83-94
William Howard
6. You are not entitled to access the full text of this document
Constructive Mathematics as a Programming Logic I: Some Principles of Theory
North-Holland Mathematics Studies, Volume 102, 1985, Pages 21-37
Robert L. Constable
7. You are not entitled to access the full text of this document
On the Foundations of Mathematics in 1987
Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 11-25
Frank R. Drake
8. You are not entitled to access the full text of this document
Symposium on Constructivity in Mathematics: Introductory Remarks
Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 141-143
R.O. Gandy
9. You are not entitled to access the full text of this document
The Rôle of Mathematics in Present-Day Science
Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 3-13
R. Thom
10. You are not entitled to access the full text of this document
Chapter III The Mathematics of Excitation
North-Holland Mathematics Studies, Volume 58, 1982, Pages 15-47
A.V. Holden
11. You are not entitled to access the full text of this document
Introduction-Intensional Mathematics and Constructive Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 113, 1985, Pages 1-10
Stewart Shapiro
12. You are not entitled to access the full text of this document
Does Gödel s Theorem Matter to Mathematics? ,
Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 399-404
Gina Kolata
13. You are not entitled to access the full text of this document
The Rôle of Mathematics in Economics
Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 63-76
Werner Hildenbrand
14. You are not entitled to access the full text of this document
Remarks on Logic in Mathematics and in Computer Science
Studies in Logic and the Foundations of Mathematics, Volume 127, 1989, Pages 371-373
Giuseppe Longo
15. You are not entitled to access the full text of this document
Pure and Applied Mathematics
Pure and Applied Mathematics, Volume 134, 1988, Pages 503-508
16. You are not entitled to access the full text of this document
Logical Aspects of the Axiomatic Method: on their Significance in (Traditional) Foundations and in Some (Now) Common or Garden Varieties of Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 183-217
G. Kreisel, Salzburg
17. You are not entitled to access the full text of this document
The Soul of Mathematics
Studies in Mathematics and Its Applications, Volume 18, 1986, Pages viii-ix
Peter D. Lax
18. You are not entitled to access the full text of this document
Pure and Applied Mathematics
Pure and Applied Mathematics, Volume 136, 1989, Pages 403-407
19. You are not entitled to access the full text of this document
Pure and Applied Mathematics
Pure and Applied Mathematics, Volume 125, 1988, Pages 747-751
20. You are not entitled to access the full text of this document
Constructivism in Mathematics: Contents
Studies in Logic and the Foundations of Mathematics, Volume 121, 1988, Page xvii
21. You are not entitled to access the full text of this document
Fractals in Mathematics
Studies in Mathematics and Its Applications, Volume 18, 1986, Pages 259-278
Masayoshi Hata
22. You are not entitled to access the full text of this document
Mathematics on Invariant Subspaces in the Almost Complex X2n: (Communicated at the meeting of March 26, 1955)
North-Holland Mathematics Studies, Volume 70, 1982, Pages 169-177
J.A. Schouten, K. Yano
23. You are not entitled to access the full text of this document
Dedication to Professor John H. Argyris: A man who unifies engineering and mathematics with elegance
North-Holland Mathematics Studies, Volume 94, 1984, Pages v, vii
H. Kardestuncer
24. You are not entitled to access the full text of this document
Mathematics on Geometric Objects and Lie Groups of Transformations: (Communicated by Prof. J. A. SCHOUTEN at the meeting of June 25, 1955)
North-Holland Mathematics Studies, Volume 70, 1982, Pages 159-168
Nicolaash Kuiper, Kentaro Yano
25. You are not entitled to access the full text of this document
Inductively Presented Systems and the Formalization of Meta-Mathematics
Studies in Logic and the Foundations of Mathematics, Volume 108, 1982, Pages 95-128
Solomon Feferman
26. You are not entitled to access the full text of this document
Students' Conceptions in Physics and Mathematics: Biases and Helps
Advances in Psychology, Volume 68, 1990, Pages 69-84
Annick Weil-Barais, Gérard Vergnaud
27. You are not entitled to access the full text of this document
Some Aspects of Impredicativity: Notes on Weyl's philosophy of Mathematics and on todays Type Theory
Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 241-274
Giuseppe Longo
28. You are not entitled to access the full text of this document
Constructive Mathematics and Computer Programming
Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 153-175
Per Martin-Löf
29. You are not entitled to access the full text of this document
Chapter III The Effect of the Discovery of Non-Euclidean Geometry on Recent Evolution of Mathematics
North-Holland Mathematics Studies, Volume 138, 1987, Pages 214-219
30. You are not entitled to access the full text of this document
Didactical Principles in Mathematics Instruction
North-Holland Mathematical Library, Volume 34, 1986, Pages 351-357
Hans Freudenthal
31. You are not entitled to access the full text of this document
Chapter 1 Models of the Dynamics OP Heterogeneous Media and the Body of Mathematics
Studies in Mathematics and Its Applications, Volume 22, 1990, Pages 1-37
32. You are not entitled to access the full text of this document
Strongly Equivalent Directed Hypergraphs
North-Holland Mathematics Studies, Volume 109, 1985, Pages 1-25
G. Ausiello, A. D'atri, D. Sacca'
33. You are not entitled to access the full text of this document
10 The impact of reliability theory on some branches of mathematics and statistics
Handbook of Statistics, Volume 7, 1988, Pages 157-174
Philip J. Boland, Frank Proschan
34. You are not entitled to access the full text of this document
Intuitionistic Extensions of the Reals II
Studies in Logic and the Foundations of Mathematics, Volume 108, 1982, Pages 279-310
A.S. Troelstra
35. You are not entitled to access the full text of this document
Constructive Logic Versus Algebraization I
Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 217-260
G. Kreisel, A. MacIntyre
36. You are not entitled to access the full text of this document
Notions of Choice Sequence
Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 91-105
Michael P. Fourman
37. You are not entitled to access the full text of this document
Exchange Properties of Convexity Spaces
North-Holland Mathematics Studies, Volume 87, 1984, Pages 293-305
Gerard Sierksma
38. You are not entitled to access the full text of this document
Formulas of One Propositional Variable in Intuitionistic Arithmetic
Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 51-64
Dick H.J. de Jongh
39. You are not entitled to access the full text of this document
Recent Progress in Constructive Approximation Theory
Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 41-50
Douglas S. Bridges
40. You are not entitled to access the full text of this document
Chapter 4 Concepts of Generalized Functions
North-Holland Mathematics Studies, Volume 84, 1984, Pages 83-133
41. You are not entitled to access the full text of this document
On Some Aspects of my Work with Gabriel Dirac
Annals of Discrete Mathematics, Volume 41, 1988, Pages 111-116
P. Erdös
42. You are not entitled to access the full text of this document
LTF - A Logic Teaching Framework
Studies in Logic and the Foundations of Mathematics, Volume 127, 1989, Pages 393-403
Duncan J Watt
43. You are not entitled to access the full text of this document
On a Local Existence Theorem for the Evolution Equation of Gaseous Stars
Studies in Mathematics and Its Applications, Volume 18, 1986, Pages 459-479
Tetu Makino
44. You are not entitled to access the full text of this document
Numerical Methods for Nonlinear Differential Equations
North-Holland Mathematics Studies, Volume 61, 1982, Pages 91-107
James M. Hyman
45. You are not entitled to access the full text of this document
Selected Topics in Scheduling Theory
North-Holland Mathematics Studies, Volume 132, 1987, Pages 1-59
Jacek Błażewicz
46. You are not entitled to access the full text of this document
References
Mathematics in Science and Engineering, Volume 160, 1982, Pages 411-422
47. You are not entitled to access the full text of this document
References
Pure and Applied Mathematics, Volume 105, 1982, Pages 498-501
48. You are not entitled to access the full text of this document
References
Pure and Applied Mathematics, Volume 128, Part 2, 1988, Pages 409-446
49. You are not entitled to access the full text of this document
Bibliography
Studies in Logic and the Foundations of Mathematics, Volume 85, 1986, Pages 411-424
50. You are not entitled to access the full text of this document
The Origins of Forcing
Studies in Logic and the Foundations of Mathematics, Volume 124, 1987, Pages 143-173
Gregory H. Moore
51. You are not entitled to access the full text of this document
References
Mathematics in Science and Engineering, Volume 183, 1989, Pages 393-410
52. You are not entitled to access the full text of this document
Selected Bibliography of Works Not Cited
Mathematics in Science and Engineering, Volume 165, 1983, Pages 346-356
53. You are not entitled to access the full text of this document
Bibliography
Pure and Applied Mathematics, Volume 134, 1988, Pages 483-492
54. You are not entitled to access the full text of this document
Proving Programs and Programming Proofs
Studies in Logic and the Foundations of Mathematics, Volume 114, 1986, Pages 51-82
M.J. Beeson
55. You are not entitled to access the full text of this document
Some Proof-Theoretic Contributions to Theories of Sets
Studies in Logic and the Foundations of Mathematics, Volume 122, 1987, Pages 171-191
Gerhard Jaeger
56. You are not entitled to access the full text of this document
Friedman's Research on Subsystems of Second Order Arithmetic
Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 137-159
Stephen G. Simpson
57. You are not entitled to access the full text of this document
Algorithmic Aspects of Combinatorial Designs: A Survey
North-Holland Mathematics Studies, Volume 114, 1985, Pages 67-136
Martenc Jones Colbourn
58. You are not entitled to access the full text of this document
Bibliography
Studies in Logic and the Foundations of Mathematics, Volume 121, 1988, Pages 327-342
59. You are not entitled to access the full text of this document
Applications of Constructivity
Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 145-152
J.M.E. Hyland
60. You are not entitled to access the full text of this document
Intuitionistic formal systems
Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 231-255
Daniel Leivant
61. You are not entitled to access the full text of this document
References
North-Holland Mathematics Studies, Volume 164, 1990, Pages 371-380
62. You are not entitled to access the full text of this document
References
North-Holland Mathematics Studies, Volume 77, 1982, Pages 287-296
63. You are not entitled to access the full text of this document
Finite Difference Techniques for Partial Differential Equations
North-Holland Mathematics Studies, Volume 83, 1984, Pages 95-354
John Noye
64. You are not entitled to access the full text of this document
Bibliography
North-Holland Mathematics Studies, Volume 100, 1984, Pages 515-541
65. You are not entitled to access the full text of this document
Finite Element Methods for Treating Problems Involving Singularities, With Applications to Linear Elastic Fracture.
North-Holland Mathematics Studies, Volume 133, 1987, Pages 109-120
J.R. Whiteman
66. You are not entitled to access the full text of this document
References
North-Holland Mathematics Studies, Volume 147, 1988, Pages 285-329
67. You are not entitled to access the full text of this document
Bibliography
Studies in Mathematics and Its Applications, Volume 20, 1988, Pages 409-433
68. You are not entitled to access the full text of this document
Bibliography
Pure and Applied Mathematics, Volume 126, 1988, Pages 1373-1450
69. You are not entitled to access the full text of this document
Bibliography
Pure and Applied Mathematics, Volume 125, 1988, Pages 643-720
70. You are not entitled to access the full text of this document
References
Pure and Applied Mathematics, Volume 131, 1987, Pages 417-434
71. You are not entitled to access the full text of this document
Construction Procedures for t-designs and the Existence of New Simple 6–designs
North-Holland Mathematics Studies, Volume 114, 1985, Pages 247-273
Earl S. Kramer, David W. Leavitt, Spyros S. Magliveras
72. You are not entitled to access the full text of this document
Tables of Parameters of BIBDs with rless-than-or-equals, slant41 including Existence, Enumeration, and Resolvability Results
North-Holland Mathematics Studies, Volume 114, 1985, Pages 275-307
Rudolf Mathon, Alexander Rosa
73. You are not entitled to access the full text of this document
Bibliography
Annals of Discrete Mathematics, Volume 40, 1989, Pages 203-222
74. You are not entitled to access the full text of this document
Church's Thesis is Consistent with Epistemic Arithmetic
Studies in Logic and the Foundations of Mathematics, Volume 113, 1985, Pages 121-172
Robert C. Flagg
75. You are not entitled to access the full text of this document
Doing Without Determinacy-Aspects of Inner Models
Studies in Logic and the Foundations of Mathematics, Volume 124, 1987, Pages 333-342
P.D. Welch
76. You are not entitled to access the full text of this document
References
Pure and Applied Mathematics, Volume 101, 1982, Pages 303-349
77. You are not entitled to access the full text of this document
The Computational Complexity of Finding Subdesigns in Combinatorial Designs
North-Holland Mathematics Studies, Volume 114, 1985, Pages 59-65
Charles J. Colbourn, Marlenc J. Colbourn, Douglas R. Stineon
78. You are not entitled to access the full text of this document
Hamilton Paths in Cartesian Products of Directed Cycles
North-Holland Mathematics Studies, Volume 115, 1985, Pages 35-74
Stephen J. Curran, David Witte
79. You are not entitled to access the full text of this document
Orthomodular Lattices
North-Holland Mathematics Studies, Volume 99, 1984, Pages 99-102
Günter Bruns
80. You are not entitled to access the full text of this document
Nonprovability of Certain Combinatorial Properties of Finite Trees
Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 87-117
Stephen G. Simpson
81. You are not entitled to access the full text of this document
Birliography
North-Holland Mathematics Studies, Volume 120, 1986, Pages 421-429
82. You are not entitled to access the full text of this document
The Arithmetics as Theories of two Orders
North-Holland Mathematics Studies, Volume 99, 1984, Pages 287-311
Denis Richard
83. You are not entitled to access the full text of this document
Probabilistic Analysis of Algorithms
North-Holland Mathematics Studies, Volume 132, 1987, Pages 365-384
Alexander H.G. Rinnooy Kan
84. You are not entitled to access the full text of this document
Symmetric Representations of Binary Matroids
North-Holland Mathematics Studies, Volume 75, 1983, Pages 371-376
F. Jaeger
85. You are not entitled to access the full text of this document
On the Non-Existence of Certain Difference Sets
Annals of Discrete Mathematics, Volume 37, 1988, Pages 479-484
N. Zagaglia Salvi
86. You are not entitled to access the full text of this document
On Matchings and Hamiltonian Cycles in Random Graphs
North-Holland Mathematics Studies, Volume 118, 1985, Pages 23-46
Béla Bollobás, Alan M. Frieze
87. You are not entitled to access the full text of this document
Bibliography
North-Holland Mathematics Studies, Volume 135, 1987, Pages 501-519
88. You are not entitled to access the full text of this document
Introduction
North-Holland Mathematics Studies, Volume 48, 1981, Pages 1-123
89. You are not entitled to access the full text of this document
References
North-Holland Mathematics Studies, Volume 146, 1987, Pages 403-409
90. You are not entitled to access the full text of this document
A Generalization of Robacker's Theorem
Annals of Discrete Mathematics, Volume 39, 1989, Pages 245-252
S.K. Tipnis, L.E. Trotter Jr.
91. You are not entitled to access the full text of this document
On Continuity Properties of the Partial Legendre-Fenchel Transform: Convergence of Sequences of Augmented Lagrangian Functions, Moreau-Yosida Approximates and Subdifferential Operators
North-Holland Mathematics Studies, Volume 129, 1986, Pages 1-42
H. Attouch, D. Azé, R. Wets
92. You are not entitled to access the full text of this document
Geodesics in Oriented Graphs
North-Holland Mathematics Studies, Volume 87, 1984, Pages 67-73
Béala Bollobás
93. You are not entitled to access the full text of this document
Star sub-Ramsey numbers
North-Holland Mathematics Studies, Volume 149, 1987, Pages 153-163
P. Fraisse, G. Hahn, D. Sotteau
94. You are not entitled to access the full text of this document
Enumerating Phylogenetic Trees with Multiple Labels
Annals of Discrete Mathematics, Volume 38, 1988, Pages 129-139
L.R. Foulds, R.W. Robinson
95. You are not entitled to access the full text of this document
Ranking the Cuts and Cut-Sets of a Network
North-Holland Mathematics Studies, Volume 95, 1984, Pages 183-200
H.W. Hamacher, J.-C. Picard, M. Queyranne
96. You are not entitled to access the full text of this document
Order Relations of Variables in 0-1 Programming
North-Holland Mathematics Studies, Volume 132, 1987, Pages 83-112
Peter L. Hammer, Bruno Simeone
97. You are not entitled to access the full text of this document
ODD Cycles of Specified Length in Non-Bipartite Graphs
North-Holland Mathematics Studies, Volume 62, 1982, Pages 89-99
Roland Häggkvist
98. You are not entitled to access the full text of this document
A Survey of Results on the Number of t-(v,k,λ) Designs
North-Holland Mathematics Studies, Volume 114, 1985, Pages 209-219
Hans-Dietrich O.F. Gronau
99. You are not entitled to access the full text of this document
A Dual Optimality Criterion for Algebraic Linear Programs
North-Holland Mathematics Studies, Volume 95, 1984, Pages 35-40
P. Brucker, U. Zimmermann
100. You are not entitled to access the full text of this document
L.E.J. Brouwer, The Signific Interlude
Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 505-512
Walter P. van Stigt
6,222 articles found for: pub-date > 1980 and pub-date < 1991 and mathematics previous page  < results 1 - 100 > 
Edit Search |Save Search | Save as Search Alert |Set up a search RSS feed (Opens new window) RSS Feed
 
Home
Browse
Search
- selected
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2010 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.